(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun d () Real)
(declare-fun g () Real)
(declare-fun e () Real)
(declare-fun f () Real)
(declare-fun j () Real)
(declare-fun k () Real)
(declare-fun h () Real)
(declare-fun i () Real)
(declare-fun n () Real)
(assert (not (exists ((l Real)) (=> (and (and (< 0 e) (< (/ 0 (* 2.0 c)) f)) (< 0.0 c)) (=> (= 0.0 b) (not (=> (<= l b) (<= k j))))))))
(assert (not (exists ((m Real)) (=> (and (and (and (and (=> (<= i 0) (and (<= 0.0 (+ (* e i) n) (- a g)))) (<= 0.0 (- d))) (<= 0.0 n)) (< h 0)) (< 0.0 (- a g))) (or (< h (* (- d) n)) (< (/ 0 0) h))))))
(check-sat)
